package tr.edu.ege.kipler.test.owltestcases.dl98instance;

import java.util.Set;

import tr.edu.ege.kipler.syntax.WorldElement;
import tr.edu.ege.kipler.test.FormulaFileReader;

public class FormulaLoader {
	public static Set<WorldElement> getFormulasFromFile(String fileName) {
		return FormulaFileReader
				.getFormulas("src/tr/edu/ege/kipler/test/owltestcases/dl98instance/"
						+ fileName);
	}
}
